Rekursionstheorie
Projektleitung und Mitarbeiter
Felscher, W. (Prof. Dr. rer. nat.)
Forschungsbericht :
1990-1992
Tel./ Fax.:
Projektbeschreibung
Im Rahmen der Vorbereitung einer Monographie "Rekursive und Programmierbare
Funktionen" wurden Theoreme ueber 2-fach rekursive Funktionen und
Kennzeichnungen der Grzegorczyk-Hierarchie bewiesen sowie ein
Gleichungskalkuel fuer primitiv-rekursive Funktionen aufgestellt; fuer
rekursiv abgeschlossene Relationen- und Funktionenklassen wurde eine
Galoistheorie auf der Basis beschraenkt-arithmetischer Relationen
entwickelt. Der Kleene'sche Gleichungskalkuel wurde beweistheoretisch
untersucht.
Mittelgeber
Publikationen
INDEX
HOME
SUCHEN
KONTAKT
LINKS
qvf-info@uni-tuebingen.de(qvf-info@uni-tuebingen.de)
- Stand: 15.09.96
Copyright Hinweise